Optimal. Leaf size=109 \[ -\frac {129 (1-2 x)^{7/2}}{6050 (5 x+3)}-\frac {(1-2 x)^{7/2}}{550 (5 x+3)^2}+\frac {1533 (1-2 x)^{5/2}}{75625}+\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 \sqrt {1-2 x}}{3125}-\frac {1533 \sqrt {\frac {11}{5}} \tanh ^{-1}\left (\sqrt {\frac {5}{11}} \sqrt {1-2 x}\right )}{3125} \]
________________________________________________________________________________________
Rubi [A] time = 0.03, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 5, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.208, Rules used = {89, 78, 50, 63, 206} \begin {gather*} -\frac {129 (1-2 x)^{7/2}}{6050 (5 x+3)}-\frac {(1-2 x)^{7/2}}{550 (5 x+3)^2}+\frac {1533 (1-2 x)^{5/2}}{75625}+\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 \sqrt {1-2 x}}{3125}-\frac {1533 \sqrt {\frac {11}{5}} \tanh ^{-1}\left (\sqrt {\frac {5}{11}} \sqrt {1-2 x}\right )}{3125} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 50
Rule 63
Rule 78
Rule 89
Rule 206
Rubi steps
\begin {align*} \int \frac {(1-2 x)^{5/2} (2+3 x)^2}{(3+5 x)^3} \, dx &=-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}+\frac {1}{550} \int \frac {(1-2 x)^{5/2} (723+990 x)}{(3+5 x)^2} \, dx\\ &=-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}+\frac {1533 \int \frac {(1-2 x)^{5/2}}{3+5 x} \, dx}{6050}\\ &=\frac {1533 (1-2 x)^{5/2}}{75625}-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}+\frac {1533 \int \frac {(1-2 x)^{3/2}}{3+5 x} \, dx}{2750}\\ &=\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 (1-2 x)^{5/2}}{75625}-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}+\frac {1533 \int \frac {\sqrt {1-2 x}}{3+5 x} \, dx}{1250}\\ &=\frac {1533 \sqrt {1-2 x}}{3125}+\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 (1-2 x)^{5/2}}{75625}-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}+\frac {16863 \int \frac {1}{\sqrt {1-2 x} (3+5 x)} \, dx}{6250}\\ &=\frac {1533 \sqrt {1-2 x}}{3125}+\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 (1-2 x)^{5/2}}{75625}-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}-\frac {16863 \operatorname {Subst}\left (\int \frac {1}{\frac {11}{2}-\frac {5 x^2}{2}} \, dx,x,\sqrt {1-2 x}\right )}{6250}\\ &=\frac {1533 \sqrt {1-2 x}}{3125}+\frac {511 (1-2 x)^{3/2}}{6875}+\frac {1533 (1-2 x)^{5/2}}{75625}-\frac {(1-2 x)^{7/2}}{550 (3+5 x)^2}-\frac {129 (1-2 x)^{7/2}}{6050 (3+5 x)}-\frac {1533 \sqrt {\frac {11}{5}} \tanh ^{-1}\left (\sqrt {\frac {5}{11}} \sqrt {1-2 x}\right )}{3125}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.06, size = 68, normalized size = 0.62 \begin {gather*} \frac {\frac {5 \sqrt {1-2 x} \left (18000 x^4-25400 x^3+51980 x^2+98595 x+32504\right )}{(5 x+3)^2}-3066 \sqrt {55} \tanh ^{-1}\left (\sqrt {\frac {5}{11}} \sqrt {1-2 x}\right )}{31250} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.18, size = 90, normalized size = 0.83 \begin {gather*} \frac {\left (2250 (1-2 x)^4-2650 (1-2 x)^3+20440 (1-2 x)^2-140525 (1-2 x)+185493\right ) \sqrt {1-2 x}}{3125 (5 (1-2 x)-11)^2}-\frac {1533 \sqrt {\frac {11}{5}} \tanh ^{-1}\left (\sqrt {\frac {5}{11}} \sqrt {1-2 x}\right )}{3125} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.35, size = 90, normalized size = 0.83 \begin {gather*} \frac {1533 \, \sqrt {11} \sqrt {5} {\left (25 \, x^{2} + 30 \, x + 9\right )} \log \left (\frac {\sqrt {11} \sqrt {5} \sqrt {-2 \, x + 1} + 5 \, x - 8}{5 \, x + 3}\right ) + 5 \, {\left (18000 \, x^{4} - 25400 \, x^{3} + 51980 \, x^{2} + 98595 \, x + 32504\right )} \sqrt {-2 \, x + 1}}{31250 \, {\left (25 \, x^{2} + 30 \, x + 9\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.92, size = 102, normalized size = 0.94 \begin {gather*} \frac {18}{625} \, {\left (2 \, x - 1\right )}^{2} \sqrt {-2 \, x + 1} + \frac {58}{625} \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} + \frac {1533}{31250} \, \sqrt {55} \log \left (\frac {{\left | -2 \, \sqrt {55} + 10 \, \sqrt {-2 \, x + 1} \right |}}{2 \, {\left (\sqrt {55} + 5 \, \sqrt {-2 \, x + 1}\right )}}\right ) + \frac {1658}{3125} \, \sqrt {-2 \, x + 1} + \frac {11 \, {\left (123 \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} - 275 \, \sqrt {-2 \, x + 1}\right )}}{2500 \, {\left (5 \, x + 3\right )}^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 75, normalized size = 0.69 \begin {gather*} -\frac {1533 \sqrt {55}\, \arctanh \left (\frac {\sqrt {55}\, \sqrt {-2 x +1}}{11}\right )}{15625}+\frac {18 \left (-2 x +1\right )^{\frac {5}{2}}}{625}+\frac {58 \left (-2 x +1\right )^{\frac {3}{2}}}{625}+\frac {1658 \sqrt {-2 x +1}}{3125}+\frac {\frac {1353 \left (-2 x +1\right )^{\frac {3}{2}}}{625}-\frac {121 \sqrt {-2 x +1}}{25}}{\left (-10 x -6\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.22, size = 101, normalized size = 0.93 \begin {gather*} \frac {18}{625} \, {\left (-2 \, x + 1\right )}^{\frac {5}{2}} + \frac {58}{625} \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} + \frac {1533}{31250} \, \sqrt {55} \log \left (-\frac {\sqrt {55} - 5 \, \sqrt {-2 \, x + 1}}{\sqrt {55} + 5 \, \sqrt {-2 \, x + 1}}\right ) + \frac {1658}{3125} \, \sqrt {-2 \, x + 1} + \frac {11 \, {\left (123 \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} - 275 \, \sqrt {-2 \, x + 1}\right )}}{625 \, {\left (25 \, {\left (2 \, x - 1\right )}^{2} + 220 \, x + 11\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.17, size = 83, normalized size = 0.76 \begin {gather*} \frac {1658\,\sqrt {1-2\,x}}{3125}+\frac {58\,{\left (1-2\,x\right )}^{3/2}}{625}+\frac {18\,{\left (1-2\,x\right )}^{5/2}}{625}-\frac {\frac {121\,\sqrt {1-2\,x}}{625}-\frac {1353\,{\left (1-2\,x\right )}^{3/2}}{15625}}{\frac {44\,x}{5}+{\left (2\,x-1\right )}^2+\frac {11}{25}}+\frac {\sqrt {55}\,\mathrm {atan}\left (\frac {\sqrt {55}\,\sqrt {1-2\,x}\,1{}\mathrm {i}}{11}\right )\,1533{}\mathrm {i}}{15625} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________